\input basic
Consider the formula{
$$
\above 1pt
{\textstyle\int x↑{\left\langle\prod↓{k\grgr0}a↓kb↓k\right\rangle}
\,dx \over divisor}
$$
}
\par\vfill
\trace '77777777
\ddt
\end